- финитный метод
-
финитный метод
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
- информационные технологии в целом
EN
- finitary method
Справочник технического переводчика. – Интент. 2009-2013.
Финитная математика — или конечная математика математика построения объектов финитными методами (иначе говоря, к рассмотрению в такой математике должны допускаться лишь объекты, которые могут быть построены за конечное число шагов). Финитный метод метод, допускающий… … Википедия
ГИПЕРБОЛИЧЕСКОГО ТИПА УРАВНЕНИЕ — численные методы решения методы решения уравнений гииерболпч. типа на основе вычислительных алгоритмов. Различные математич. модели во многих случаях приводят к дифференциальным уравнениям гиперболич. типа. Такие уравнения имеют точные аиалитич.… … Математическая энциклопедия
ФИНИТИЗМ — (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия